GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact

Source URL: plv.mpi-sws.org

• Software engineering
• Mathematical logic
• Computing
• Concurrency
• Logic in computer science
• Computer memory
• First-order logic
• Predicate logic
• Memory model
• Hoare logic
• Lock
• FO

Computer Science Technical Report Toward a programmer-friendly formal specification of the UPC memory model by William Kuchera and Charles Wallace

Source URL: www.upc.mtu.edu

• Parallel computing
• Concurrent computing
• Computer memory
• Memory barrier
• Unified Parallel C
• Universal Product Code
• Thread
• Consistency model
• Synchronization
• Java concurrency
• Monitor

Notified Access: Extending Remote Memory Access Programming Models for Producer-Consumer Synchronization Roberto Belli, Torsten Hoefler Dept. of Computer Science, ETH Zurich {bellir,htor}@inf.ethz.ch

Source URL: spcl.inf.ethz.ch

• Computing
• Concurrent computing
• Computer programming
• Parallel computing
• Inter-process communication
• Application programming interfaces
• Concurrency
• Message Passing Interface
• Distributed computing architecture
• SHMEM
• Message queue
• Synchronization

How Do Developers Use APIs? A Case Study in Concurrency Stefan Blom Faculty of Electrical Engineering, Mathematics and Computer Science University of Twente

Source URL: wwwhome.ewi.utwente.nl

Yuri Breitbart Education • D.Sc. in Computer Science - Computer Science Department, Israel Technological Institute (TECHNION), Haifa, Israel. • MS in Mathematics - Mathematics Department, Moscow Pedagogical Institut

Source URL: www.cs.kent.edu

• Computing
• Data management
• Databases
• Transaction processing
• Data
• Information retrieval
• Concurrency control
• Conservatism in the United States
• Commitment ordering
• Breitbart News
• Abraham Silberschatz

10th Conference on Category Theory and Computer Science (CTCS’04) August 12th-14th, 2004 and FIRST Graduate Student Summer School, August 9th-11th, 2004 Workshop on Categorical Methods in Concurrency, Interaction and M

Source URL: www.itu.dk

Concurrency Control and Recovery Michael J. Franklin Department of Computer Science and UMIACS University of Maryland College Park, MD

Source URL: www.news.cs.nyu.edu

Concurrency Attacks Junfeng Yang, Ang Cui, Sal Stolfo, Simha Sethumadhavan {junfeng, ang, sal, simha}cs.columbia.edu Department of Computer Science Columbia University

Source URL: www.cs.columbia.edu

• Concurrent computing
• Software bugs
• Computer memory
• Software testing
• Edsger W. Dijkstra
• Concurrency
• Code injection
• Computer security
• Go
• Lock
• Thread
• Parallel computing

Variable Permissions for Concurrency Verification? Duy-Khanh Le, Wei-Ngan Chin, Yong-Meng Teo Department of Computer Science, National University of Singapore (Technical Report) Abstract. In the multicore era, verificati

Source URL: www.comp.nus.edu.sg

Making Sequential Consistency Practical in Titanium Amir Kamil Jimmy Su Katherine Yelick∗ Computer Science Division, University of California, Berkeley {kamil,jimmysu,yelick}@cs.berkeley.edu

Source URL: titanium.cs.berkeley.edu

• Computing
• Software engineering
• Compiler construction
• Computer programming
• Parallel computing
• Computer memory
• Concurrency
• Concurrent computing
• Optimizing compiler
• Alias analysis
• Memory barrier
• Synchronization